Dedukti in a Nutshell Ronan Saillard MINES ParisTech Dedukti [1] is a proof checker based on rewriting and dependent types. It implements the λΠcalculus modulo, a very expressive logical fr

Source URL: www.cri.ensmp.fr

• Type theory
• Functional languages
• Functional programming
• Lisp programming language
• Data types
• Append
• List
• Cons
• Dependent type
• Software engineering
• Computing
• Declarative programming

A Linear Algebra Framework for Static HPF Code Distribution Technical report A-278-CRI Corinne Ancourt, Fabien Coelho, Francois Irigoin, Ronan Keryell y Corresponding author: Fabien Coelho. Centre de Recherche en Inform

Source URL: www.cri.ensmp.fr

• Compiler optimizations
• Programming paradigms
• Array data structure
• Array programming
• High Performance Fortran
• Parallel computing
• Matrix
• Vectorization
• Array
• Computing
• Computer programming
• Software engineering

Automatic Code Generation for SIMD Hardware Accelerators Serge Guelton1 , Fran¸cois Irigoin2 , and Ronan Keryell3 1 T´el´ecom Bretagne, HPCAS, France,

Source URL: www.cri.ensmp.fr

• Computing
• Polytope model
• Control flow
• Stack
• Loop dependence analysis
• Compiler optimizations
• Loop optimization
• Loop tiling

Dedukti: A Universal Proof Checker Mathieu Boespflug Quentin Carbonneaux Gilles Dowek Olivier Hermant Ronan Saillard Deducteam INRIA MINES ParisTech

Source URL: www.cri.ensmp.fr

• Modular forms
• Logic
• Proof theory
• Deduction
• Logic in computer science

Dedukti : un v´ erificateur de preuves universel Ronan Saillard Centre de recherche en informatique - MINES ParisTech

Source URL: dedukti.gforge.inria.fr

CCP4 2009 Developers Meeting: Programme Organiser: Ronan Keegan The Cosener’s House, Abbey Close Abingdon, 15-17th April The list for the Working Parties (WP) for 2009 is attached.

Source URL: www.ccp4.ac.uk

• Coot
• GTK+
• Chemistry
• CCP4
• Emsley
• Chair
• Science
• Application software
• Crystallography

PIPS Is not (just) Polyhedral Software Mehdi A MINI1,2 Corinne A NCOURT2 Fabien C OELHO2 Béatrice C REUSILLET1 Serge G UELTON3,2 François I RIGOIN2 Pierre J OUVELOT2 Ronan K ERYELL1,3 Pierre V ILLALON1 1 2

Source URL: perso.ens-lyon.fr

• Parallel computing
• Compiler optimizations
• GPGPU
• Compiler construction
• Automatic parallelization
• Fortran
• CUDA
• OpenMP
• Compiler
• Computing
• Software
• Computer programming

Press Kit www.swarovskigroup.com Majestic new Swarovski chandelier by ronan & erwan Bouroullec to illuminate Gabriel staircase at PALACe OF Versailles.

Source URL: brand.swarovski.com

• Culture
• Glass
• Swarovski
• Ronan & Erwan Bouroullec
• Kvadrat
• Chandelier
• Rodarte
• Christopher Kane
• Ron Arad
• Glass art
• Luxury brands
• Visual arts

ClouDiA: A Deployment Advisor for Public Clouds Tao Zou, Ronan Le Bras, Marcos Vaz Salles†, Alan Demers, Johannes Gehrke Cornell University Ithaca, NY †University

Source URL: www.vldb.org

• NP-complete problems
• Amazon Elastic Compute Cloud
• Infrastructure as a Service
• Latency
• Distributed computing
• Graph partition
• Topology
• Routing
• Cloud computing
• Centralized computing
• Cloud infrastructure

Standing Order (continued) Frequency (please tick): Quarterly Monthly

Source URL: www.catholiccomment.ie

• Ecclesiology
• Roman Catholic Church
• Catholicism
• Rónán Mullen
• Christian Church
• Catholic Church
• Catholic
• Christian theology
• Christianity
• Theology